|
L
L, ix, xii, 49, 50, 53, 58, 60, 63, 67, 70, 73, 74, 79, 146, 147, 148, 152, 169, 178, 180, 183, 185, 201, 207, 218, 235, 236, 237, 269, 270, 283, 289, 290, 316, 356, 373, 383, 388, 389, 399, 400, 410, 411, 412, 413, 414, 415, 418, 419, 420, 421, 422, 428, 432, 433, 434, 439, 440, 441, 443, 454, 476, 485, 487, 488, 490, 492, 493, 494, 495
L rule, 236, 289, 290, 373, 454
Lajos, 141, 492
lambda calculus, 6, 7, 9, 12, 18, 156, 157, 158, 160, 161, 162, 164, 167, 168, 170, 171, 178
lambda convertible, 160
Landin, 11, 316, 492
language L, 151, 316, 450
Larch, 33
law of the excluded middle, 221
lazy evaluation, 11, 125
lazy list, 125, 126
lazy super quantifiers, 313
lazy types, 203
left linear, 179
left rule, 218, 219, 223, 224, 236, 260, 353, 445
lemma, 220
let rule, 426, 427, 436
lexical binding, 335
lexical category, 134, 136
lexical scope, 335
linear recursion, 39, 58, 91, 445
linearly separable, 281
linked process, 374, 375, 376
LIPS, 345, 406, 407, 408
Lisp, 7, 8, 9, 10, 11, 13, 14, 16, 17, 18, 20, 32, 34, 43, 98, 122, 141, 199, 213, 478, 479, 480, 481, 482, 483, 484, 485, 489, 491, 492, 493, 494, 495, 496
Lisp machines, 10, 18
Lisp-1, 333
Lisp-2, 333, 340, 344
list, 8, 9, 10, 12, 37, 46, 49, 50, 51, 52, 56, 57, 58, 60, 67, 70, 73, 74, 77, 79, 94, 98, 133, 134, 135, 136, 139, 178, 179, 183, 194, 195, 199, 201, 202, 203, 206, 207, 224, 225, 241, 424, 425, 426, 429, 430, 431, 433, 434, 458, 459, 460, 461, 463, 464, 465, 466, 469, 470
list evaluation rule, 49
Liu, 141, 492
Lloyd, 368, 492
local assignments, 56, 57, 112, 196, 232, 245
lock, 383, 386, 396, 400, 401, 403
logic programming, xi, 1, 163, 214, 215, 216, 226, 265, 351, 353, 354, 375, 382, 411, 481
logical constant, 217, 222, 235, 305
logical variables, 217
lookup table, 53
Lopes, 230, 493
LR rule, 218, 236, 237, 238, 290
|
|
